As it is known, there is no rule satisfying Additivity in the complete domain of bankruptcy problems. This paper proposes a notion of partial Additivity in this context, to be called µ-additivity. We find that µ-additivity, together with two quite compelling axioms, anonymity and continuity, identify the Minimal Overlap rule, introduced by Neill (1982).

This article introduces a new formulation of the interest theory of rights. The focus is on ‘Bentham’s test’, which was devised by Matthew Kramer to limit the expansiveness of the interest theory. According to the test, a party holds a right correlative to a duty only if that party stands to undergo a development that is typically detrimental if the duty is breached. The article shows how the entire interest theory can be reformulated in terms of the test. The article (...) then focuses on a further strength of the interest theory, brought to the fore by the new formulation. In any Western legal system, the tortious maltreatment of a child or a mentally disabled individual results in a compensatory duty. The interest theory can account for such duties in a simple and elegant way. The will theory, on the other hand, struggles to explain such compensatory duties unless it abandons some of its main tenets. (shrink)

As it says on the in, the problem for a standard of objectual (referential) quantification is presented, and a solution offered.

We approach the notion of general (global) human intelligence as a prominently multifaceted concept which can be tested in at least seventy specific scenarios. We say that an agent has Artificial Global Intelligence (AGLI), if it is able to perform in an intelligent manner for at least the collection of tasks defining the former scenarios. In particular, based on Gartner's multiple intelligences theory, we describe the design of a concrete test for AGLI made in such a way that an ‘average’ (...) young human being should, per diffinitionem, pass it. We compare our holistic test with several highly representative human and artificial intelligence tests for deducing that our AGLI test is the one with the broader scope of the whole range of intelligence. However, we claim as a plausible hypothesis and based on the wide thematic spectrum of the test that the most outstanding inventions of AI currently available are far from getting a high score on it. Finally, we open a discussion about the fact that, although there are artificial agents being able to simulate intelligent behaviour at a perfect level for several local tasks, this seems not to be the case for AGLI. This would imply, in particular, a kind of practical implausibility of the notion of intelligence explosion coming from philosophy of AI. (shrink)

I think the basic intuition behind textualism correct – that the meaning of a law is fixed by referencing the meaning of its words according to the meaning common to the law’s ratifiers. However, even if true, it does not follow that interpretation of a law goes through the original ratifiers. Rather, a citizenry continually ratifies the laws to which it subjects itself, and as the meanings of those words change over time, so will those laws. Concerning, say, the U.S. (...) Constitution, though the text may be very nearly the same now as in the 18th century, a different constitution is in effect. (shrink)

We present a multidisciplinary, universal a pragmatic theory of causation based explicitly on five methodological causal seminal dimensions. The first one is called formal-mathematical-idealist theory and emerges as a meta-conceptual fusion of several existing causal theories. The second one is essentially based on a global, scientific and technical perspective. In fact, this can be considered as a meta-dimension encompassing a huge number of academic disciplines. The third dimension arises once more as combination of former approaches having the mind and its (...) laws as the central paradigm. The fourth one is structurally related with our subjective phenomenological world and its objective impact on the external universe. And, finally, the fifth dimension is closely related with the first one, but more oriented toward the global implicit purpose of the universe and what this implies causally on the events in nature. We give several concrete examples elucidating the explanatory range of our theory. (shrink)

We describe (essential features and an axiomatization of) a new metamathematical (cognitive) ability, i.e., functional conceptual substratum, used implicitly in the generation of several mathematical proofs and definitions, and playing a fundamental role in Artificial Mathematical Intelligence (or Cognitive-computational metamathematics). Furthermore, we present an initial (first-order) formalization of this mechanism together with its characterizing relation with classic notions like primitive positive definability and Diophantiveness. Additionally, we analyze the semantic variability of functional conceptual substratum when small syntactic modifications are done. Finally, (...) we describe cognitively natural inference rules for (mathematical) definitions inspired by functional conceptual substratum and we show that they are sound and complete w.r.t.\ standard calculi. (shrink)

The boundless nature of the natural numbers imposes paradoxically a high formal bound to the use of standard artificial computer programs for solving conceptually challenged problems in number theory. In the context of the new cognitive foundations for mathematics' and physics' program immersed in the setting of artificial mathematical intelligence, we proposed a refined numerical system, called the physical numbers, preserving most of the essential intuitions of the natural numbers. Even more, this new numerical structure additionally possesses the property of (...) being a bounded object allowing us to work with quite similar axioms like the classic Peano axioms, but in a finite environment and with an enriched physical dimension. Finally, we present several enlightening examples and we conclude that the physical numbers provide a natural formal setting for approaching classic problems in number theory from a more hybrid perspective, i.e. with a potential participation in the generation of solutions, not only of working mathematicians but also of more sophisticated artificial interactive (mathematical) intelligent agents (within the context of cognitive-computational metamathematics or artificial mathematical intelligence) and more controlled by physically-inspired principles. Finally, this paper addresses a highly new, bottom-up and paradigm-shifting approach to the foundations of physics: One should refine and improve the conceptual formal setting of the language that we use for understanding physical phenomena (e.g. the mathematical grounding concepts and theories) for being able to understand better more subtle and complex physical phenomena. (shrink)

Alain Badiou is one of the world's most influential living philosophers. Few contemporary thinkers display his breadth of argument and reference, or his ability to intervene in debates critical to both analytic and continental philosophy. Alain Badiou: Key Concepts presents an overview of and introduction to the full range of Badiou's thinking. Essays focus on the foundations of Badiou's thought, his "key concepts" - truth, being, ontology, the subject, and conditions - and on his engagement with a range of thinkers (...) central to his philosophy, including Plato, Descartes, Spinoza, Heidegger and Deleuze. (shrink)

We argue for the possibility of validating the presence of consciousness in another person from a perspective that blends both, a third-person approach of coming close to, observing, and understanding the other; and a first-person assessment of how the experience of the other feels like. For this, we will need to explain how the line between the third-person and first-person approaches is blurred in some methodological approaches. We rest our position largely on the back of some seminal conclusions of the (...) meditations of Ren\'e Descartes and other theories concerning consciousness like Chalmers' naturalistic dualism and, to some secondary extent on Integrated Information Theory (IIT). Additionally, we describe fundamental contextual principles already developed in the literature and the arts (like Stanivlaski's Acting System), and then we use them for setting a suitable methodology that we feel can be used to validate the presence of others' conscious experiences in one's consciousness (at suitable periods of spacetime). Finally, we give general methodological guidelines for the construction of the concrete experiment and we explore very briefly the potential implications of this kind of research in other academic and non-academic settings. (shrink)

The Article analyzes the notion of legal “thinghood” in the context of the person–thing bifurcation. In legal scholarship, there are numerous assumptions pertaining to this definition that are often not spelled out. In addition, one’s chosen definition of “thing” is often simply taken to be the correct one. The Article scrutinizes these assumptions and definitions. First, a brief history of the bifurcation is offered. Second, three possible definitions of “legal thing” are examined: Things as nonpersons, things as rights and duties, (...) and things as property. The first two definitions are rejected as not being very interesting or serving any heuristic function. Conversely, understanding legal things as property is meaningful, useful, and helps to understand what it means to say that animals are legally things. Defining things as property has certain rather important implications, which are analyzed at the end of the Article. For instance, not everything needs to be either a person or a thing: The historical institution of outlawry involved treating individuals neither as legal persons nor as legal things. One must conclude that the person–thing bifurcation is less fundamental than is often assumed. (shrink)

In this short paper I will introduce an idea which, I will argue, presents a fundamental additional challenge to the machine consciousness community. The idea takes the questions surrounding phenomenology, qualia and phenomenality one step further into the realm of intersubjectivity but with a twist, and the twist is this: that an agent’s intersubjective experience is deeply felt and necessarily co-affective; it is enkinaesthetic, and only through enkinaesthetic awareness can we establish the affective enfolding which enables first the perturbation, and (...) then the balance and counter-balance, the attunement and co-ordination of whole-body interaction through reciprocal adaptation. (shrink)

My aim in this paper is to go some way towards showing that the maintenance of hard and fast dichotomies, like those between mind and body, and the real and the virtual, is untenable, and that technological advance cannot occur with being cognisant of its reciprocal ethical implications. In their place I will present a softer enactivist ontology through which I examine the nature of our engagement with technology in general and with virtual realities in particular. This softer ontology is (...) one to which I will commit Kant, and from which, I will show, certain critical moral and emotional consequences arise. It is my contention that Kant’s logical subject is necessarily embedded in the world and that Kant, himself, would be content with this view as an expression of his inspired response to the ‘‘scandal to philosophy... that the existence of things outside us... must be accepted merely on faith’’ [Bxl]. In keeping with his arguments for the a priori framing of intuition, the a priori structuring of experience through the spontaneous application of the categories, the synthesis of the experiential manifold, and the necessity of a unity of apperception, I will present an enactivist account of agency in the world, and argue that it is our embodied and embedded kinaesthetic engagement in our world which makes possible the syntheses of apprehension, reproduction and recognition, and which, in turn, make possible the activity of the reproductive or creative imagination. (shrink)

Hillel Steiner has recently attacked the notion of inalienable rights, basing some of his arguments on the Hohfeldian analysis to show that infinite arrays of legal positions would not be associated with any inalienable rights. This essay addresses the nature of the Hohfeldian infinity: the main argument is that what Steiner claims to be an infinite regress is actually a wholly unproblematic form of infinite recursion. First, the nature of the Hohfeldian recursion is demonstrated. It is shown that infinite recursions (...) of legal positions ensue regardless of whether inalienable rights exist or not. Second, the alleged problems that this might pose for the analysis are discussed. The conclusion is that one should not worry about the recursion as long as one understands correctly the role of the Hohfeldian analysis in normative reasoning. (shrink)

Linda Zagzebski’s book on epistemic authority is an impressive and stimulating treatment of an important topic. 1 I admire the way she manages to combine imagination, originality and argumentative control. Her work has the further considerable merit of bringing analytic thinking and abstract theory to bear upon areas of concrete human concern, such as the attitudes one should have towards moral and religious authority. The book is stimulating in a way good philosophy should be -- provoking both disagreement and emulation. (...) I agree with much of what she says, and have been instructed by it, but it will be of more interest and relevance here if I concentrate upon areas of disagreement. Perhaps they are better seen as areas, at least some of them, where her emphases suggest a position that seems to me untenable, but that she may not really intend. In that event, I will be happy to have provoked a clarification or the dispelling of my misunderstanding. My focus will be upon problems in her account of communal authority and autonomy, especially with respect to religious and political authority. Here my worry is that she places too much trust in trust and not enough in what I call selective mistrust. (shrink)

As a national ideology, Pancasila has formal quality, but it is also part of the material aspects that shapes perspectives that drives national policies through the process of consensus. The open and ambiguous character of Pancasila allows a wide space for social and political interpretation, and therefore is open to critique and reformation through reinterpretations of its meaning. An examination of the ethics of the socio-political application of Pancasila is crucial in the current national climate, and these ethical valuations are (...) formed through public discussions and debates on the meaning of Pancasila. Using data drawn from mass media. In this paper, I will examine the Government Regulation on Law (Perppu No. 2/2017) as an example of how these political ethics develop through the discussion of the meaning of Pancasila. Second, I'll highlight how the space for interpretation of the meaning of Pancasila determines how the public, government and oppositional coalitions evaluate the pro and contra approaches to translating the ideology into practice. Third, in examining the process of socio-political consensus as a necessity in the democratic life of Indonesia, this paper will position the discursive deployments of Pancasila in the ethical and political considerations that stem from the practical application of these discourses of Pancasila. (shrink)

Betrachtet man den Gebrauch der Worte ‘Moral’ und ‘Vernunft’ etwas genauer, so stellt man fest, dass nicht klar ist, was sie bezeichnen bzw. wie Moral und Vernunft zusammenhängen. In dem Buch ‘Rationalität in der Angewandten Ethik’, in dem sich verschiedene Autoren die Aufgabe gestellt haben, diese Umstände in das Licht der Betrachtung zu rücken, finden wir Fragen darüber, wie “Moral”, “Angewandte Ethik” und “Vernunft” (auch in der Anwendung) zu verstehen und zu vereinen sind.

Social participation requires certain abilities: communication with other members of society; social understanding which enables planning ahead and dealing with novel circumstances; and a theory of mind which makes it possible to anticipate the mental state of another. In childhood play we learn how to pretend, how to put ourselves in the minds of others, how to imagine what others are thinking and how to attribute false beliefs to them. Without this ability we would be unable to deceive and detect (...) deception in the actions of others, and our ability to interact within our social group would be greatly impaired. In this paper I claim that the capacity for deception is necessary for a theory of mind, and a theory of mind is necessary for complex social interaction. (shrink)

This article addresses the sensitive topic of human rights issues in Indonesia through a Kantian analysis. Cases of human rights violations are a common occurrence in Indonesia. Presently, human rights violations in the country are assessed from historical and legal perspectives. However, there is little commitment or willingness on the part of the Indonesian government to protect and defend the principles of human rights. This article is attempts to utilize arguments from political philosophy that can contextualize the protection and implementation (...) of human rights in Indonesia, through an analysis of the concept of social contract in Immanuel Kant’s political philosophy. According to Kant, freedom and equality are natural rights. This article demonstrates that Kant's social contract theory is linear with his formal moral philosophy. In his explanation, ‘contract’ is unified will. Therefore, the Indonesian state with its power is responsible to implement the will of the public to ensure order and rule of law and to protect the rights and freedom of each individual. (shrink)

We present epistemic multilateral logic, a general logical framework for reasoning involving epistemic modality. Standard bilateral systems use propositional formulae marked with signs for assertion and rejection. Epistemic multilateral logic extends standard bilateral systems with a sign for the speech act of weak assertion (Incurvati and Schlöder 2019) and an operator for epistemic modality. We prove that epistemic multilateral logic is sound and complete with respect to the modal logic S5 modulo an appropriate translation. The logical framework developed provides the (...) basis for a novel, proof-theoretic approach to the study of epistemic modality. To demonstrate the fruitfulness of the approach, we show how the framework allows us to reconcile classical logic with the contradictoriness of so-called Yalcin sentences and to distinguish between various inference patterns on the basis of the epistemic properties they preserve. (shrink)

ABSTRACTLinguistic evidence supports the claim that certain, weak rejections are less specific than assertions. On the basis of this evidence, it has been argued that rejected sentences cannot be premisses and conclusions in inferences. We give examples of inferences with weakly rejected sentences as premisses and conclusions. We then propose a logic of weak rejection which accounts for the relevant phenomena and is motivated by principles of coherence in dialogue. We give a semantics for which this logic is sound and (...) complete, show that it axiomatizes the modal logic KD45 and prove that it still derives classical logic on its asserted fragment. Finally, we defend previous logics of strong rejection as being about the linguistically preferred interpretations of weak rejections. (shrink)

Many classically valid meta-inferences fail in a standard supervaluationist framework. This allegedly prevents supervaluationism from offering an account of good deductive reasoning. We provide a proof system for supervaluationist logic which includes supervaluationistically acceptable versions of the classical meta-inferences. The proof system emerges naturally by thinking of truth as licensing assertion, falsity as licensing negative assertion and lack of truth-value as licensing rejection and weak assertion. Moreover, the proof system respects well-known criteria for the admissibility of inference rules. Thus, supervaluationists (...) can provide an account of good deductive reasoning. Our proof system moreover brings to light how one can revise the standard supervaluationist framework to make room for higher-order vagueness. We prove that the resulting logic is sound and complete with respect to the consequence relation that preserves truth in a model of the non-normal modal logic _NT_. Finally, we extend our approach to a first-order setting and show that supervaluationism can treat vagueness in the same way at every order. The failure of conditional proof and other meta-inferences is a crucial ingredient in this treatment and hence should be embraced, not lamented. (shrink)

We present an inferentialist account of the epistemic modal operator might. Our starting point is the bilateralist programme. A bilateralist explains the operator not in terms of the speech act of rejection ; we explain the operator might in terms of weak assertion, a speech act whose existence we argue for on the basis of linguistic evidence. We show that our account of might provides a solution to certain well-known puzzles about the semantics of modal vocabulary whilst retaining classical logic. (...) This demonstrates that an inferentialist approach to meaning can be successfully extended beyond the core logical constants. (shrink)

In this paper I examine Grace A. de Laguna’s theory of universals in its historical context and in relation to contemporary debates in analytic metaphysics. I explain the central features of her theory, arguing that her theory should be classified as a form of immanent realism and as a powers ontology. I then show in what ways her theory affords a theory of modality in terms of potentialities and discuss some of its consequences along the way.

We develop a novel solution to the negation version of the Frege-Geach problem by taking up recent insights from the bilateral programme in logic. Bilateralists derive the meaning of negation from a primitive *B-type* inconsistency involving the attitudes of assent and dissent. Some may demand an explanation of this inconsistency in simpler terms, but we argue that bilateralism’s assumptions are no less explanatory than those of *A-type* semantics that only require a single primitive attitude, but must stipulate inconsistency elsewhere. Based (...) on these insights, we develop a version of B-type expressivism called *inferential expressivism*. This is a novel semantic framework that characterises meanings by inferential roles that define which *attitudes* one can *infer* from the use of terms. We apply this framework to normative vocabulary, thereby solving the Frege-Geach problem generally and comprehensively. Our account moreover includes a semantics for epistemic modals, thereby also explaining normative terms under epistemic modals. (shrink)

A graph-theoretic account of logics is explored based on the general notion of m-graph (that is, a graph where each edge can have a finite sequence of nodes as source). Signatures, interpretation structures and deduction systems are seen as m-graphs. After defining a category freely generated by a m-graph, formulas and expressions in general can be seen as morphisms. Moreover, derivations involving rule instantiation are also morphisms. Soundness and completeness theorems are proved. As a consequence of the generality of the (...) approach our results apply to very different logics encompassing, among others, substructural logics as well as logics with nondeterministic semantics, and subsume all logics endowed with an algebraic semantics. (shrink)

Many philosophers reject the view that well-being over a lifetime is simply an aggregation of well-being at every moment of one's life, and thus they reject theories of well-being like hedonism and concurrentist desire satisfactionism. They raise concerns that such a view misses the importance of the relationships between moments in a person's life or the role narratives play in a person's well-being. In this article, we develop an atomist meta-theory of well-being, according to which the prudential value of a (...) life depends solely on the prudential value of each moment of that life. This is a general account of momentary well-being that can capture different features of well-being that standard atomistic accounts fail to capture, thus allowing for the possibility of an atomism that is compatible with a variety of well-being theories. Contrary to many criticisms leveled against momentary well-being, this well-being atomism captures all of the important features of well-being. (shrink)

There is a widespread, popular view—and one I basically endorse—that Nietzsche is, in one sense of the word, a nihilist. As Arthur Danto put it some time ago, according to Nietzsche, “there is nothing in [the world] which might sensibly be supposed to have value.” As interpreters of Nietzsche, though, we cannot simply stop here. Nietzsche's higher men, Übermenschen, “genuine philosophers”, free spirits—the types Nietzsche wants to bring forth from the human, all-too-human herds he sees around him with the fish (...) hooks, as he says, of his books—seem to engage in what looks like valuing. These free spirits are supposed to revalue the old values—revaluing, as is clear from the texts, is not simply to remove the old values from circulation (Nietzsche uses “umwerten” and not “entwerten”)—and they are supposed to create new values. And, of course, Nietzsche himself, free spirit that he is, takes on the task of revaluing all values and seems to assert many a strident evaluation. So we need to say more here. What are Nietzsche and his free spirits up to when they engage in what looks, for all the world, like a practice of valuing? What is the practice of valuing Nietzsche is recommending for his free spirits? I argue for two claims: (i) First, we end up facing an interpretive puzzle when we attempt to explain how Nietzsche's free spirits are supposed to engage in a practice of valuing. (ii) Second, we can solve the interpretive puzzle by taking Nietzsche's free spirits to be engaged in a fictionalist simulacrum of valuing. (shrink)

Deflationists about truth hold that the function of the truth predicate is to enable us to make certain assertions we could not otherwise make. Pragmatists claim that the utility of negation lies in its role in registering incompatibility. The pragmatist insight about negation has been successfully incorporated into bilateral theories of content, which take the meaning of negation to be inferentially explained in terms of the speech act of rejection. We implement the deflationist insight in a bilateral theory by taking (...) the meaning of the truth predicate to be explained by its inferential relation to assertion. We combine this account of the meaning of the truth predicate with a new diagnosis of the Liar Paradox: its derivation requires the truth rules to preserve evidence, but these rules only preserve commitment. The result is a novel inferential deflationist theory of truth, which solves the Liar Paradox in a principled manner. We end by showing that our theory and simple extensions thereof have the resources to axiomatize the internal logic of several supervaluational hierarchies, including Cantini’s. This solves open problems of Halbach (2011) and Horsten (2011). (shrink)

In this essay I argue that what has been called “philosophical anarchism” in the academic literature bears little to no relationship with the historical anarchist tradition and, for this reason, ought not to be considered a genuine form of anarchism. As I will demonstrate, the classical anarchism of the nineteenth and early twentieth centuries is to be distinguished from other political theories in regarding all hierarchical institutions and relationships—including, but not limited to, the state—as incorrigibly dominative or oppressive and, for (...) this reason, immoral. Lastly, I argue that defenders of such institutions and relationships must take the challenge posed by classical anarchism seriously by engaging substantively with actual anarchist positions. (shrink)

Background: Broccoli is an edible green plant in the cabbage family (family Brassicaceae, genus Brassica) whose large flowering head, stalk and small associated leaves are eaten as a vegetable. A leaf of Broccoli might be affected of Several Diseases descriped in this paper . When symptoms is encountered, it requires some kind of medical care. If appropriate Survival of Broccoli Diseases is not taken quickly, it can lead to Broccoli to die . Objectives: The main goal of this expert system (...) is to get the appropriate diagnosis of disease and the correct treatment. Methods: In this paper the design of the proposed Expert System which was produced to help Farmers in diagnosing many of the broccoli diseases such as : Damping Off,Club root of crucifers or Finger and toe disease,Alternaria leaf spot,Black rot,Downy mildew, and White rust. (shrink)

This article aims to describe the last 10 years of the collaborative scientific endeavors on polarization in particular and collective problem-solving in general by our multidisciplinary research team. We describe the team’s disciplinary composition—social psychology, political science, social philosophy/epistemology, and complex systems science— highlighting the shared and unique skill sets of our group members and how each discipline contributes to studying polarization and collective problem-solving. With an eye to the literature on team dynamics, we describe team logistics and processes that (...) we believe make our multidisciplinary team persistent and productive. We emphasize challenges and difficulties caused by disciplinary differences in terms of terminology, units/levels of analysis, methodology, and theoretical assumptions. We then explain how work disambiguating the concepts of polarization and developing an integrative theoretical and methodological framework with complex systems perspectives has helped us overcome these challenges. We summarize the major findings that our research has produced over the past decade, and describe our current research and future directions. Last, we discuss lessons we have learned, including difficulties in a “three models” project and how we addressed them, with suggestions for effective multidisciplinary team research. (shrink)

The study aimed to identify the role of administrative procedures and systems in enhancing the performance of the educational institutions in the Islamic University in Gaza. To achieve the research objectives, the researchers used the analytical descriptive approach to collect information. The researchers used the questionnaire distributed to three categories of employees at the Islamic University (senior management, faculty members, their assistants and members of the administrative board). A random sample of 314 employees was selected and 276 questionnaires were retrieved (...) with a recovery rate of 88.1%. The Statistical Analysis Program (SPSS) was used to enter process and analyze data. The results of the research showed a positive role for the administrative procedures and systems in enhancing the performance of the Islamic University from the point of view of the members (senior management, teaching staff and their assistants and the administrative body), where the relative weight of all the paragraphs (73.728%). The analysis of the results revealed that the administrative procedures at the Islamic University in Gaza are used to an acceptable degree. The relative weight of all the paragraphs is 70%. This indicates a relationship between administrative procedures and regulations and the performance of the Islamic University in the Gaza Strip. The study found that there was a good degree of approval from the sample regarding the administrative procedures and their relationship to the job performance. There exist a sufficient degree of powers to the deans and department managers to carry out their tasks, with the use of plans as control tools. And that there are rules and procedures provided for decision-making in the University Council. It also has full powers to manage the university to improve the teaching and learning environment. The researchers also recommended a number of recommendations, including the need to follow up on the procedures and systems of management and update them continuously in the light of changes that may occur and to ensure the existence of a strong system of electronic information systems within the university. There is a need to provide mechanisms for obtaining information about the surrounding external environment, and effective mechanisms to provide managers with the necessary information in a timely manner. The importance of providing channels of communication that enables staff to communicate information about any violations and breaches. The study also recommended the follow-up, review, procedures and administrative systems, and work to modify them in line with the mission of the university and the objectives that the university seeks to reach. (shrink)

In his new book, Logical Form, Andrea Iacona distinguishes between two different roles that have been ascribed to the notion of logical form: the logical role and the semantic role. These two roles entail a bifurcation of the notion of logical form. Both notions of logical form, according to Iacona, are descriptive, having to do with different features of natural language sentences. I agree that the notion of logical form bifurcates, but not that the logical role is merely descriptive. In (...) this paper, I focus on formalization, a process by which logical form, on its logical role, is attributed to natural language sentences. According to some, formalization is a form of explication, and it involves normative, pragmatic, as well as creative aspects. I present a view by which formalization involves explicit commitments on behalf of a reasoner or an interpreter, which serve the normative grounds for the evaluation of a given text. In previous work, I proposed the framework of semantic constraints for the explication of logical consequence. Here, I extend the framework to include formalization constraints. The various constraints then serve the role of commitments. I discuss specific issues raised by Iacona concerning univocality, co-reference and equivocation, and I show how our views on these matters diverge as a result of our different starting assumptions. (shrink)

David Lewis objected to theories that posit necessary connections between distinct entities and to theories that involve a magical grasping of their primitives. In On the Plurality of Worlds, Lewis objected to nondescript ersatzism on these grounds. The literature contains several reconstructions of Lewis’ critique of nondescript ersatzism but none of these interpretations adequately address his main argument because they fail to see that Lewis’ critique is based on broader methodological considerations. I argue that a closer look at his methodology (...) reveals the broader objection he presented against nondescript ersatzism. This objection, I further argue, remains a challenge for the ersatzer who posits structure-less entities as possible worlds. (shrink)

In this paper we describe a few interrelated issues for validating theories that posit levels of consciousness. First, validating levels of consciousness requires consensus about the ordering of conscious states, which cannot be easily achieved. This problem is particularly severe if we believe conscious states can be irreducibly smeared over time. Second, the relationship between conscious states is probably sometimes intransitive, which means levels of consciousness will not be amenable to a single continuous measure. Finally, even if a multidimensional approach (...) to levels of consciousness is adopted, we argue that there are further problems for its validation. (shrink)

Recent research has relied on trolley-type sacrificial moral dilemmas to study utilitarian versus nonutili- tarian modes of moral decision-making. This research has generated important insights into people’s attitudes toward instrumental harm—that is, the sacrifice of an individual to save a greater number. But this approach also has serious limitations. Most notably, it ignores the positive, altruistic core of utilitarianism, which is characterized by impartial concern for the well-being of everyone, whether near or far. Here, we develop, refine, and validate a (...) new scale—the Oxford Utilitarianism Scale—to dissociate individual differences in the ‘negative’ (permissive attitude toward instrumental harm) and ‘positive’ (impartial concern for the greater good) dimensions of utilitarian thinking as manifested in the general population. We show that these are two independent dimensions of proto-utilitarian tendencies in the lay population, each exhibiting a distinct psychological profile. Empathic concern, identification with the whole of humanity, and concern for future generations were positively associated with impartial beneficence but negatively associated with instrumental harm; and although instrumental harm was associated with subclinical psychopathy, impartial beneficence was associated with higher religiosity. Importantly, although these two dimensions were independent in the lay population, they were closely associated in a sample of moral philosophers. Acknowledging this dissociation between the instrumental harm and impartial beneficence components of utilitarian thinking in ordinary people can clarify existing debates about the nature of moral psychology and its relation to moral philosophy as well as generate fruitful avenues for further research. (shrink)

The burden of research ethics review falls not just on researchers, but on those who serve on research ethics committees (RECs). With the advent of automated text analysis and generative artificial intelligence, it has recently become possible to teach models to support human judgment, for example by highlighting relevant parts of a text and suggesting actionable precedents and explanations. It is time to consider how such tools might be used to support ethics review and oversight. This commentary argues that with (...) a suitable strategy of engagement, artificial intelligence can be used in a variety of ways that can genuinely support RECs and manage their workload and improve the quality of review. It would be wiser to take an active role in the development of AI tools for ethics review, rather than to adopt ad hoc tools after the fact. (shrink)

In THE GENEALOGY OF MORALITY Nietzsche assess the value of the value judgments of morality from the perspective of human flourishing. His positive descriptions of the “higher men” he hopes for and the negative descriptions of the decadent humans he thinks morality unfortunately supports both point to a particular substantive conception of what such flourishing comes to. The Genealogy, however, presents us with a puzzle: why does Nietzsche’s own evaluative standard not receive a genealogical critique? The answer to this puzzle, (...) I argue, lies in recognizing the centrality of the notion of “life”, and its connection to power, in Nietzsche’s overall account. Leiter has argued that his “Millian Model” provides the most charitable reconstruction of appeals to a privileged evaluative standard of power; this model ascribes an inference from a strong doctrine of the will to power according to which only power can be desired. I propose a “Benthamite Model” that ascribes an inference from the inescapability of a tendency towards power, a tendency that is essential to life. I argue that this model avoids the objections Leiter directs at the Millian Model. (shrink)

Philosophers of well-being have tended to adopt a foundationalist approach to the question of theory and measurement, according to which theories are conceptually before measures. By contrast, social scientists have tended to adopt operationalist commitments, according to which they develop and refine well-being measures independently of any philosophical foundation. Unfortunately, neither approach helps us overcome the problem of coordinating between how we characterize well-being and how we measure it. Instead, we should adopt a coherentist approach to well-being science.

Trope theory is a leading metaphysical theory in analytic ontology. One of its classic statements is found in the work of Donald C. Williams who argued that tropes qua abstract particulars are the very alphabet of being. The concept of an abstract particular has been repeatedly attacked in the literature. Opponents and proponents of trope theory alike have levelled their criticisms at the abstractness of tropes and the associated act of abstraction. In this paper I defend the concept of a (...) trope qua abstract particular by rejecting arguments that purport to show that tropes should not be understood as abstract and by arguing that the abstractness of tropes plays an indispensable role in one of our more promising trope-theoretic analyses of universals and of concrete objects. (shrink)

This chapter argues that scientific and philosophical progress in our understanding of the living world requires that we abandon a metaphysics of things in favour of one centred on processes. We identify three main empirical motivations for adopting a process ontology in biology: metabolic turnover, life cycles, and ecological interdependence. We show how taking a processual stance in the philosophy of biology enables us to ground existing critiques of essentialism, reductionism, and mechanicism, all of which have traditionally been associated with (...) substance ontology. We illustrate the consequences of embracing an ontology of processes in biology by considering some of its implications for physiology, genetics, evolution, and medicine. And we attempt to locate the subsequent chapters of the book in relation to the position we defend. (shrink)

Should a principle of charity be applied to the interpretation of the colour concepts exercised in visual experience? We think not. We shall argue, for one thing, that the grounds for applying a principle of charity are lacking in the case of colour concepts. More importantly, we shall argue that attempts at giving the experience of colour a charitable interpretation either fail to respect obvious features of that experience or fail to interpret it charitably, after all. Charity to visual experience (...) is therefore no motive for resisting the natural, Galilean response to a scientific understanding of light and vision. The best interpretation of colour experience ends up convicting it of widespread and systematic error. (shrink)

In this paper I discuss a prevailing view by which logical terms determine forms of sentences and arguments and therefore the logical validity of arguments. This view is common to those who hold that there is a principled distinction between logical and nonlogical terms and those holding relativistic accounts. I adopt the Tarskian tradition by which logical validity is determined by form, but reject the centrality of logical terms. I propose an alternative framework for logic where logical terms no longer (...) play a distinctive role. This account employs a new notion of semantic. (shrink)

Generating an account that can sidestep the disagreement among substantive theories of well-being, while at the same time still providing useful guidance for well-being public policy, would be a significant achievement. Unfortunately, the various attempts to remain agnostic regarding what constitutes well-being fail to either be an account of well-being, provide useful guidance for well-being policy, or avoid relying on a substantive well-being theory. There are no theory-free lunches in well-being policy. Instead, I propose an intermediate account, according to which (...) well-being is constituted by endorsed veridical experiences. This account refers back to theories of well-being but does so as agnostically as possible. An intermediate account of well-being is meant as a policy guiding compromise between the different theories of well-being that make claims regarding what constitutes well-being. An intermediate account does as well as can be hoped for in providing a basis for well-being policy. (shrink)

People have sought ways to improve their physical and mental capabilities for thousands of years. For those of us who believe that human enhancement technologies include clothes, tools and weapons, the politics of enhancement started in prehistory. The norms of pre-industrial societies that only certain castes or genders could touch specific tools or wear certain clothes were preliminary politics of enhancement. Prosthetic limbs are thousands of years old, and by the 15th century, there were multiple experiments with vaccination around the (...) world. Although it would be appropriate to write a history of the various forms of empowerment that have taken place since the dawn of civilisation, this volume – that now we can present to the lectors – will be on the debates about human enhancement that began in the early 20th century, once modern medicine had begun to suggest actual technologies for human augmentation. Before examining the relationship between human enhancement and biopolitics (the subject of our work), it is helpful to say a few words about the series in which this volume appears, a series that bears the same title as this first text and which opens with contributions from the best scientific experts on the subject. (shrink)

Plant diseases are numerous in the world of agriculture. These diseases cause a lot of trouble to most farmers. Among these common diseases, we single out the diseases that affect the Passion fruit, which is affected by about seven diseases, with different symptoms for each disease. Today, technology is facilitating human life in all areas of life, and among these facilities are expert system, a computer program that uses artificial-intelligence methods to solve problems within a specialized domain that ordinarily requires (...) human expertise. The first expert system was developed in 1965 by Edward Feigen Baum and Joshua Lederberg of Stanford University in California, U.S. Dendral, as their expert system was later known, was designed to analyses chemical compounds. Expert systems now have commercial applications in fields as diverse as medical diagnosis, petroleum engineering, and financial investing and other areas, and with reference to expert systems and their importance to humans, an integrated expert system has been created in the agricultural field that diagnoses Passion diseases using CLIPS Expert System language. The system was used to design and implement the proposed expert system. The system facilitates the diagnosis of Passion -related diseases. There is no doubt that this expert system will help farmers and those involved in the agricultural field to diagnose Passion -related diseases. Objectives: is to help farmers diagnose Passion diseases in the correct way and how to treat these diseases. Method: The system contains a program project that diagnoses 7 diseases that affect Passion and the seven diseases are: Brown spot, Septoria spot, Root and crown rot, Fusarium wilt, Anthracnose, Woodiness virus, Scab. Results: The expert system was evaluated by farmers and praised for helping them with it. Conclusion: The expert system for diagnosing Passion diseases is effective and usable. (shrink)

The cucumber is a creeping vine that roots in the ground and grows up trellises or other supporting frames, wrapping around supports with thin, spiraling tendrils. The plant may also root in a soilless medium, whereby it will sprawl along the ground in lieu of a supporting structure. The vine has large leaves that form a canopy over the fruits. Among these common diseases, we single out the diseases that affect the cucumber, which is affected by about 22 diseases, with (...) different symptoms for each disease. Today, technology is facilitating human life in all areas of life, and among these facilities are expert systems that have become an integral part of human life as they contain several systems and areas, for example: Artificial Intelligence (AI), which refers to systems or devices that simulate Human intelligence to perform tasks that can improve itself based on some human information, and other areas, and with reference to expert systems and their importance to humans, an integrated expert system has been created in the agricultural field that diagnoses cucumber diseases using CLIPS Expert System language Delphi language. The system was used to design and implement the proposed expert system. The system facilitates the diagnosis of cucumber-related diseases. There is no doubt that this expert system will help farmers and those involved in the agricultural field to diagnose cucumber-related diseases. Objectives: is to help farmers diagnose pear diseases in the correct way and how to treat these diseases. Method: The system contains a program that diagnoses 22 diseases that affect cucumber. Results: The expert system was evaluated by farmers and praised for helping them with it. Conclusion: The expert system for diagnosing cucumber diseases is effective and usable. (shrink)

It is an open question whether well-being ought to primarily be understood as a temporal concept or whether it only makes sense to talk about a person’s well-being over their whole lifetime. In this article, I argue that how this principled philosophical disagreement is settled does not have substantive practical implications for well-being science and well-being policy. Trying to measure lifetime well-being directly is extremely challenging as well as unhelpful for guiding well-being public policy, while temporal well-being is both an (...) adequate indirect measure of lifetime well-being, and an adequate focus for the purposes of improving well-being through public policy. Consequently, even if what we ought to care about is lifetime well-being, we should use temporal measures of well-being and focus on temporal well-being policies. (shrink)

The concept of instantiation is realized differently across a variety of metaphysical theories. A certain realization of the concept in a given theory depends on what roles are specified and associated with the concept and its corresponding term as well as what entities are suited to fill those roles. In this paper, the classic realization of the concept of instantiation in a one-category ontology of abstract particulars or tropes is articulated in a novel way and defended against unaddressed objections.